|
H ?
«
‹
←
→
›
»
Language peer sets for Prolog IV: International↑ International/1996↑ Designed 1996 ↑ 1990s languages ↑ Fifth generation↑ Post-Cold War↑ Genus Horn clause ↑ String and List Processing ↑ Horn clause↑ Context-based ↑ Data representation ↑ Horn clause/1996↑ Context-based /1996↑ Data representation/1996↑ Horn clause/International↑ Context-based /International↑ Data representation/International↑ String and List Processing ↑ String and List Processing/1996↑ String and List Processing/aa ↑ Prolog IV(ID:5520/pro045)Prolog II with extra constraints etcalternate simple viewCountry: International Designed 1996 Genus: Horn clause Sammet category: String and List Processing from Contraints FAQ: "Prolog IV is an ISO-compliant replacement for the Prolog III language. It incorporates all the main features of Prolog III with some important changes. Prolog IV allows programmers to express a wide variety of constraints over real and rationnal numbers, integers (finite domains), booleans and lists. In addition to expressing classical linear programming problems on discrete and continuous quantities this permits among other things the adressing of mixed real/integers problems and the use of boolean operations to formalize constraint disjunctions. The algorithms include a non-optimised algorithm for lists (different from Prolog III), Gauss and Simplex algorithms for equations and linear inequalities over rationals, and an interval method for approximate solving of non-linear constraints over reals. The compiler is integrated into a complete graphic programming environnment featuring the following tools: project editor, multi-window text editor, grapher, debugger, and on-line help. " Related languages
References: Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE ACM portal CiteSeer CSB ncstrl jstor Bookfinder |